#include "vgastr.h"
void main()
{
  printf("Hello OS!");
    return;
} 
